PositivityAbstract.agda:13,3-14,18
D is not strictly positive, because it occurs
to the left of an arrow
in the type of the constructor lam
in the definition of D.
